Optimal. Leaf size=406 \[ \frac {\left (b^2-a c\right ) \sqrt {d+e x^2}}{c^3}-\frac {(c d+b e) \left (d+e x^2\right )^{3/2}}{3 c^2 e^2}+\frac {\left (d+e x^2\right )^{5/2}}{5 c e^2}-\frac {\left (b^2 c d-a c^2 d-b^3 e+2 a b c e-\frac {b^3 c d-3 a b c^2 d-b^4 e+4 a b^2 c e-2 a^2 c^2 e}{\sqrt {b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x^2}}{\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}\right )}{\sqrt {2} c^{7/2} \sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}-\frac {\left (b^2 c d-a c^2 d-b^3 e+2 a b c e+\frac {b^3 c d-3 a b c^2 d-b^4 e+4 a b^2 c e-2 a^2 c^2 e}{\sqrt {b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x^2}}{\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}}\right )}{\sqrt {2} c^{7/2} \sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 5.44, antiderivative size = 406, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 5, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.172, Rules used = {1265, 911,
1301, 1180, 214} \begin {gather*} -\frac {\left (-\frac {-2 a^2 c^2 e+4 a b^2 c e-3 a b c^2 d+b^4 (-e)+b^3 c d}{\sqrt {b^2-4 a c}}+2 a b c e-a c^2 d+b^3 (-e)+b^2 c d\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x^2}}{\sqrt {2 c d-e \left (b-\sqrt {b^2-4 a c}\right )}}\right )}{\sqrt {2} c^{7/2} \sqrt {2 c d-e \left (b-\sqrt {b^2-4 a c}\right )}}-\frac {\left (\frac {-2 a^2 c^2 e+4 a b^2 c e-3 a b c^2 d+b^4 (-e)+b^3 c d}{\sqrt {b^2-4 a c}}+2 a b c e-a c^2 d+b^3 (-e)+b^2 c d\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x^2}}{\sqrt {2 c d-e \left (\sqrt {b^2-4 a c}+b\right )}}\right )}{\sqrt {2} c^{7/2} \sqrt {2 c d-e \left (\sqrt {b^2-4 a c}+b\right )}}+\frac {\left (b^2-a c\right ) \sqrt {d+e x^2}}{c^3}-\frac {\left (d+e x^2\right )^{3/2} (b e+c d)}{3 c^2 e^2}+\frac {\left (d+e x^2\right )^{5/2}}{5 c e^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 214
Rule 911
Rule 1180
Rule 1265
Rule 1301
Rubi steps
\begin {align*} \int \frac {x^7 \sqrt {d+e x^2}}{a+b x^2+c x^4} \, dx &=\frac {1}{2} \text {Subst}\left (\int \frac {x^3 \sqrt {d+e x}}{a+b x+c x^2} \, dx,x,x^2\right )\\ &=\frac {\text {Subst}\left (\int \frac {x^2 \left (-\frac {d}{e}+\frac {x^2}{e}\right )^3}{\frac {c d^2-b d e+a e^2}{e^2}-\frac {(2 c d-b e) x^2}{e^2}+\frac {c x^4}{e^2}} \, dx,x,\sqrt {d+e x^2}\right )}{e}\\ &=\frac {\text {Subst}\left (\int \left (\frac {\left (b^2-a c\right ) e}{c^3}-\frac {(c d+b e) x^2}{c^2 e}+\frac {x^4}{c e}-\frac {\left (b^2-a c\right ) \left (c d^2-b d e+a e^2\right )-\left (b^2 c d-a c^2 d-b^3 e+2 a b c e\right ) x^2}{c^3 e \left (\frac {c d^2-b d e+a e^2}{e^2}-\frac {(2 c d-b e) x^2}{e^2}+\frac {c x^4}{e^2}\right )}\right ) \, dx,x,\sqrt {d+e x^2}\right )}{e}\\ &=\frac {\left (b^2-a c\right ) \sqrt {d+e x^2}}{c^3}-\frac {(c d+b e) \left (d+e x^2\right )^{3/2}}{3 c^2 e^2}+\frac {\left (d+e x^2\right )^{5/2}}{5 c e^2}-\frac {\text {Subst}\left (\int \frac {\left (b^2-a c\right ) \left (c d^2-b d e+a e^2\right )+\left (-b^2 c d+a c^2 d+b^3 e-2 a b c e\right ) x^2}{\frac {c d^2-b d e+a e^2}{e^2}-\frac {(2 c d-b e) x^2}{e^2}+\frac {c x^4}{e^2}} \, dx,x,\sqrt {d+e x^2}\right )}{c^3 e^2}\\ &=\frac {\left (b^2-a c\right ) \sqrt {d+e x^2}}{c^3}-\frac {(c d+b e) \left (d+e x^2\right )^{3/2}}{3 c^2 e^2}+\frac {\left (d+e x^2\right )^{5/2}}{5 c e^2}+\frac {\left (b^2 c d-a c^2 d-b^3 e+2 a b c e-\frac {b^3 c d-3 a b c^2 d-b^4 e+4 a b^2 c e-2 a^2 c^2 e}{\sqrt {b^2-4 a c}}\right ) \text {Subst}\left (\int \frac {1}{-\frac {\sqrt {b^2-4 a c}}{2 e}-\frac {2 c d-b e}{2 e^2}+\frac {c x^2}{e^2}} \, dx,x,\sqrt {d+e x^2}\right )}{2 c^3 e^2}+\frac {\left (b^2 c d-a c^2 d-b^3 e+2 a b c e+\frac {b^3 c d-3 a b c^2 d-b^4 e+4 a b^2 c e-2 a^2 c^2 e}{\sqrt {b^2-4 a c}}\right ) \text {Subst}\left (\int \frac {1}{\frac {\sqrt {b^2-4 a c}}{2 e}-\frac {2 c d-b e}{2 e^2}+\frac {c x^2}{e^2}} \, dx,x,\sqrt {d+e x^2}\right )}{2 c^3 e^2}\\ &=\frac {\left (b^2-a c\right ) \sqrt {d+e x^2}}{c^3}-\frac {(c d+b e) \left (d+e x^2\right )^{3/2}}{3 c^2 e^2}+\frac {\left (d+e x^2\right )^{5/2}}{5 c e^2}-\frac {\left (b^2 c d-a c^2 d-b^3 e+2 a b c e-\frac {b^3 c d-3 a b c^2 d-b^4 e+4 a b^2 c e-2 a^2 c^2 e}{\sqrt {b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x^2}}{\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}\right )}{\sqrt {2} c^{7/2} \sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}-\frac {\left (b^2 c d-a c^2 d-b^3 e+2 a b c e+\frac {b^3 c d-3 a b c^2 d-b^4 e+4 a b^2 c e-2 a^2 c^2 e}{\sqrt {b^2-4 a c}}\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x^2}}{\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}}\right )}{\sqrt {2} c^{7/2} \sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.44, size = 475, normalized size = 1.17 \begin {gather*} \frac {\frac {2 \sqrt {c} \sqrt {d+e x^2} \left (15 b^2 e^2+c^2 \left (-2 d^2+d e x^2+3 e^2 x^4\right )-5 c e \left (3 a e+b \left (d+e x^2\right )\right )\right )}{e^2}-\frac {15 \sqrt {2} \left (-b^4 e+a c^2 \left (\sqrt {b^2-4 a c} d-2 a e\right )+b^2 c \left (-\sqrt {b^2-4 a c} d+4 a e\right )+b^3 \left (c d+\sqrt {b^2-4 a c} e\right )-a b c \left (3 c d+2 \sqrt {b^2-4 a c} e\right )\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x^2}}{\sqrt {-2 c d+b e-\sqrt {b^2-4 a c} e}}\right )}{\sqrt {b^2-4 a c} \sqrt {-2 c d+\left (b-\sqrt {b^2-4 a c}\right ) e}}-\frac {15 \sqrt {2} \left (b^4 e+a c^2 \left (\sqrt {b^2-4 a c} d+2 a e\right )-b^2 c \left (\sqrt {b^2-4 a c} d+4 a e\right )+a b c \left (3 c d-2 \sqrt {b^2-4 a c} e\right )+b^3 \left (-c d+\sqrt {b^2-4 a c} e\right )\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x^2}}{\sqrt {-2 c d+\left (b+\sqrt {b^2-4 a c}\right ) e}}\right )}{\sqrt {b^2-4 a c} \sqrt {-2 c d+\left (b+\sqrt {b^2-4 a c}\right ) e}}}{30 c^{7/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.17, size = 457, normalized size = 1.13
method | result | size |
risch | \(-\frac {\left (-3 c^{2} e^{2} x^{4}+5 b c \,e^{2} x^{2}-c^{2} d e \,x^{2}+15 a c \,e^{2}-15 e^{2} b^{2}+5 b c d e +2 c^{2} d^{2}\right ) \sqrt {e \,x^{2}+d}}{15 e^{2} c^{3}}+\frac {\munderset {\textit {\_R} =\RootOf \left (c \,\textit {\_Z}^{8}+\left (4 e b -4 c d \right ) \textit {\_Z}^{6}+\left (16 a \,e^{2}-8 d e b +6 c \,d^{2}\right ) \textit {\_Z}^{4}+\left (4 d^{2} e b -4 c \,d^{3}\right ) \textit {\_Z}^{2}+d^{4} c \right )}{\sum }\frac {\left (\left (2 a b c e -a \,c^{2} d -b^{3} e +b^{2} c d \right ) \textit {\_R}^{6}+\left (4 a^{2} c \,e^{2}-4 a \,b^{2} e^{2}-2 a b c d e +3 a \,c^{2} d^{2}+3 b^{3} d e -3 b^{2} c \,d^{2}\right ) \textit {\_R}^{4}+d \left (-4 a^{2} c \,e^{2}+4 a \,b^{2} e^{2}+2 a b c d e -3 a \,c^{2} d^{2}-3 b^{3} d e +3 b^{2} c \,d^{2}\right ) \textit {\_R}^{2}-2 a b c \,d^{3} e +a \,c^{2} d^{4}+b^{3} d^{3} e -b^{2} c \,d^{4}\right ) \ln \left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x -\textit {\_R} \right )}{\textit {\_R}^{7} c +3 \textit {\_R}^{5} b e -3 \textit {\_R}^{5} c d +8 \textit {\_R}^{3} a \,e^{2}-4 \textit {\_R}^{3} b d e +3 \textit {\_R}^{3} c \,d^{2}+\textit {\_R} b \,d^{2} e -\textit {\_R} c \,d^{3}}}{4 c^{3}}\) | \(412\) |
default | \(\frac {\frac {x^{2} \left (e \,x^{2}+d \right )^{\frac {3}{2}}}{5 e}-\frac {2 d \left (e \,x^{2}+d \right )^{\frac {3}{2}}}{15 e^{2}}}{c}-\frac {b \left (e \,x^{2}+d \right )^{\frac {3}{2}}}{3 c^{2} e}+\frac {-\frac {\left (a c -b^{2}\right ) \left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )}{2 c}-\frac {d \left (a c -b^{2}\right )}{2 c \left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )}-\frac {\munderset {\textit {\_R} =\RootOf \left (c \,\textit {\_Z}^{8}+\left (4 e b -4 c d \right ) \textit {\_Z}^{6}+\left (16 a \,e^{2}-8 d e b +6 c \,d^{2}\right ) \textit {\_Z}^{4}+\left (4 d^{2} e b -4 c \,d^{3}\right ) \textit {\_Z}^{2}+d^{4} c \right )}{\sum }\frac {\left (\left (-2 a b c e +a \,c^{2} d +b^{3} e -b^{2} c d \right ) \textit {\_R}^{6}+\left (-4 a^{2} c \,e^{2}+4 a \,b^{2} e^{2}+2 a b c d e -3 a \,c^{2} d^{2}-3 b^{3} d e +3 b^{2} c \,d^{2}\right ) \textit {\_R}^{4}+d \left (4 a^{2} c \,e^{2}-4 a \,b^{2} e^{2}-2 a b c d e +3 a \,c^{2} d^{2}+3 b^{3} d e -3 b^{2} c \,d^{2}\right ) \textit {\_R}^{2}+2 a b c \,d^{3} e -a \,c^{2} d^{4}-b^{3} d^{3} e +b^{2} c \,d^{4}\right ) \ln \left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x -\textit {\_R} \right )}{\textit {\_R}^{7} c +3 \textit {\_R}^{5} b e -3 \textit {\_R}^{5} c d +8 \textit {\_R}^{3} a \,e^{2}-4 \textit {\_R}^{3} b d e +3 \textit {\_R}^{3} c \,d^{2}+\textit {\_R} b \,d^{2} e -\textit {\_R} c \,d^{3}}}{4 c}}{c^{2}}\) | \(457\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{7} \sqrt {d + e x^{2}}}{a + b x^{2} + c x^{4}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 928 vs.
\(2 (374) = 748\).
time = 4.07, size = 928, normalized size = 2.29 \begin {gather*} -\frac {{\left ({\left ({\left (b^{4} c - 5 \, a b^{2} c^{2} + 4 \, a^{2} c^{3}\right )} d e - {\left (b^{5} - 6 \, a b^{3} c + 8 \, a^{2} b c^{2}\right )} e^{2}\right )} c^{2} + 2 \, {\left (b^{3} c^{4} - 3 \, a b c^{5}\right )} d^{2} - {\left (3 \, b^{4} c^{3} - 11 \, a b^{2} c^{4} + 4 \, a^{2} c^{5}\right )} d e - 2 \, {\left ({\left (b^{2} c^{3} - a c^{4}\right )} \sqrt {b^{2} - 4 \, a c} d^{2} - {\left (b^{3} c^{2} - a b c^{3}\right )} \sqrt {b^{2} - 4 \, a c} d e + {\left (a b^{2} c^{2} - a^{2} c^{3}\right )} \sqrt {b^{2} - 4 \, a c} e^{2}\right )} {\left | c \right |} + {\left (b^{5} c^{2} - 4 \, a b^{3} c^{3} + 2 \, a^{2} b c^{4}\right )} e^{2}\right )} \arctan \left (\frac {2 \, \sqrt {\frac {1}{2}} \sqrt {x^{2} e + d}}{\sqrt {-\frac {{\left (2 \, c^{6} d e^{12} - b c^{5} e^{13} + \sqrt {-4 \, {\left (c^{6} d^{2} e^{12} - b c^{5} d e^{13} + a c^{5} e^{14}\right )} c^{6} e^{12} + {\left (2 \, c^{6} d e^{12} - b c^{5} e^{13}\right )}^{2}}\right )} e^{\left (-12\right )}}{c^{6}}}}\right )}{{\left (2 \, \sqrt {b^{2} - 4 \, a c} c^{4} d + {\left (b^{2} c^{3} - 4 \, a c^{4} - \sqrt {b^{2} - 4 \, a c} b c^{3}\right )} e\right )} \sqrt {-4 \, c^{2} d + 2 \, {\left (b c + \sqrt {b^{2} - 4 \, a c} c\right )} e} c^{2}} + \frac {{\left ({\left ({\left (b^{4} c - 5 \, a b^{2} c^{2} + 4 \, a^{2} c^{3}\right )} d e - {\left (b^{5} - 6 \, a b^{3} c + 8 \, a^{2} b c^{2}\right )} e^{2}\right )} c^{2} + 2 \, {\left (b^{3} c^{4} - 3 \, a b c^{5}\right )} d^{2} - {\left (3 \, b^{4} c^{3} - 11 \, a b^{2} c^{4} + 4 \, a^{2} c^{5}\right )} d e + 2 \, {\left ({\left (b^{2} c^{3} - a c^{4}\right )} \sqrt {b^{2} - 4 \, a c} d^{2} - {\left (b^{3} c^{2} - a b c^{3}\right )} \sqrt {b^{2} - 4 \, a c} d e + {\left (a b^{2} c^{2} - a^{2} c^{3}\right )} \sqrt {b^{2} - 4 \, a c} e^{2}\right )} {\left | c \right |} + {\left (b^{5} c^{2} - 4 \, a b^{3} c^{3} + 2 \, a^{2} b c^{4}\right )} e^{2}\right )} \arctan \left (\frac {2 \, \sqrt {\frac {1}{2}} \sqrt {x^{2} e + d}}{\sqrt {-\frac {{\left (2 \, c^{6} d e^{12} - b c^{5} e^{13} - \sqrt {-4 \, {\left (c^{6} d^{2} e^{12} - b c^{5} d e^{13} + a c^{5} e^{14}\right )} c^{6} e^{12} + {\left (2 \, c^{6} d e^{12} - b c^{5} e^{13}\right )}^{2}}\right )} e^{\left (-12\right )}}{c^{6}}}}\right )}{{\left (2 \, \sqrt {b^{2} - 4 \, a c} c^{4} d - {\left (b^{2} c^{3} - 4 \, a c^{4} + \sqrt {b^{2} - 4 \, a c} b c^{3}\right )} e\right )} \sqrt {-4 \, c^{2} d + 2 \, {\left (b c - \sqrt {b^{2} - 4 \, a c} c\right )} e} c^{2}} + \frac {{\left (3 \, {\left (x^{2} e + d\right )}^{\frac {5}{2}} c^{4} e^{8} - 5 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} c^{4} d e^{8} - 5 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} b c^{3} e^{9} + 15 \, \sqrt {x^{2} e + d} b^{2} c^{2} e^{10} - 15 \, \sqrt {x^{2} e + d} a c^{3} e^{10}\right )} e^{\left (-10\right )}}{15 \, c^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 2.48, size = 2500, normalized size = 6.16 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________